A ::= BB

BB := B B
B ::= X Y Z
B ::= YES
